Linux colossus.ics.uci.edu 3.13.7 #40 SMP Thu Nov 13 11:17:34 PST 2014 x86_64 x86_64 x86_64 GNU/Linux